Modeling human syllogistic reasoning in Soar
نویسندگان
چکیده
منابع مشابه
A specification-aware modeling of mental model theory for syllogistic reasoning
Computational cognitive models can embody the structures and processes proposed in a cognitive theory. However, they do not necessarily reveal the theory’s underlying assumptions and specifications. This study aims to bridge the gap between cognitive theory and its computational implementation, focusing on a case of mental model theory on human reasoning. Using a mathematics-based and staticall...
متن کاملPrinciples and Clusters in Human Syllogistic Reasoning
It seems widely accepted that human reasoning cannot be modeled by means of Classical Logic. Psychological experiments have repeatedly shown that participants’ answers systematically deviate from the classical logically correct answers. Recently a new approach on modeling human syllogistic reasoning has been developed which seems to perform the best compared to other state-of-the-art cognitive ...
متن کاملNexing Corpus: a corpus of verbal protocols on syllogistic reasoning
In this paper, we describe the Nexing Corpus and report on the tools implemented and the tasks undertaken for its development. The Nexing Corpus includes (i) a collection of written transcriptions of verbal data elicited during a psycholinguistic experiment on syllogistic reasoning; and (ii) performance data concerning that experiment, such as latencies, confidence levels and accuracy of answer...
متن کاملSyllogistic Reasoning under the Weak Completion Semantics
In a recent meta-analysis, Khemlani & Johnson-Laird (2012) showed that the conclusions drawn by human reasoners in psychological experiments about syllogistic reasoning are not the conclusions predicted by classical first-order logic. Moreover, current cognitive theories deviate significantly from the empirical data. In this paper we show how human syllogistic reasoning can be modelled under th...
متن کاملA Computational Logic Approach to Syllogisms in Human Reasoning
Abstract. Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show that they had di culties to reason with syllogistic statements that contradicted their own beliefs. This paper discusses syllogisms in human reasoning and proposes a formalization under the weak completion sema...
متن کامل